\documentclass{article}

\usepackage{url}
\usepackage{subfigure}
\usepackage{calc}
\usepackage{amssymb}
\usepackage{amstext}
\usepackage{amsmath}
\usepackage{listings}
\usepackage{color}

\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}

\lstdefinelanguage{ADTlanguage}%
  {morekeywords={import,Adt,Sorts,Generators,Operations,Axioms,Variables},
   morecomment=[l];;,%
   morecomment=[s]{(:}{:)},%
   morestring=[b]",%
   morestring=[b]',%
  }[keywords,comments,strings]
  
\newcommand{\setlistings}[2]{
  		\lstset{language=#1, basicstyle=\scriptsize, tabsize=2}  
		\lstset{rulecolor=\color{black}}
		\lstset{linewidth=\textwidth}
		\lstset{commentstyle=\textit, stringstyle=\upshape,showspaces=false}
		\lstset{showstringspaces=false}
		\lstset{frame=single,frameround=ffff}
		\lstset{numbers=left, numberstyle=\tiny, stepnumber=2, numbersep=5pt, firstnumber=#2}
		\lstset{breaklines=true}
		\lstset{escapeinside={(*@}{@*)}}
		} 
		
\newcommand{\setDefListings}[2]{
  		\lstset{language=#1, basicstyle=\scriptsize, tabsize=2}  
		\lstset{rulecolor=\color{black}}
		\lstset{linewidth=\textwidth} 
		\lstset{commentstyle=\textit, stringstyle=\upshape,showspaces=false}
		\lstset{showstringspaces=false}
		\lstset{frame=single,frameround=ffff}
		\lstset{breaklines=true}
		\lstset{escapeinside={(*@}{@*)}}
		} 

\newcommand{\ngdref}{\textit{DREF}}
		
\setcounter{tocdepth}{3}
\usepackage[final,pdftex]{graphicx}
        \pdfcompresslevel=9
        \DeclareGraphicsExtensions{.png}

%******************************************
% LASSY TR front page begins
%******************************************

% \usepackage{geometry}
% \geometry{hmargin=2.5cm,vmargin=3cm}

\renewcommand{\maketitle}{

\begin{center}
\vspace{-4cm}
\begin{tabular}{l p{3cm} r}
\includegraphics[scale=0.54]{./logo/logo.jpg}
& &
\includegraphics[scale=0.36]{./logo/lassy.jpg}\\\\
\hline
\end{tabular}
\vspace{2cm}
\\
{\Large
\begin{tabular}{c}
%\begin{tabular}{|c|}
%\hline
  \textbf{Safe Co-Evolution of Models and Access Control Policies}\\
%\hline
\end{tabular}
}
\vspace{2cm}


%******************************************
\begin{tabular}{c}
Names here\\
Laboratory for Advanced Software Systems\\
University of Luxembourg\\
6, rue R. Coudenhove-Kalergi, Luxembourg\\ \\
\\ \\ \\ \\
TR-LASSY-XX-XX \\
\end{tabular}

\date{January 2011}
\end{center}

\thispagestyle{empty}
}

%*******************************************
% LASSY TR front page ends
%*******************************************


\begin{document}

\maketitle  % start of an individual contribution

\begin{abstract}
\input{abstract}
\end{abstract}

\section{Introduction and Problem Statement}
\label{sec:intro_statement}
\input{intro_statement}

\section{Running Example}
\label{sec:running_example}
\input{running_example}

\section{Transforming Access Control Policies into Model Properties}
\label{sec:models_acp}
\input{models_acp}

\section{Safe Co-Evolution}
\label{sec:safe_co_evolution}
\input{safe_co_evolution}

\section{Experimentation}
\label{sec:experimentation}
\input{experimentation}

\section{Discussion}
\label{sec:discussion}
\input{discussion}

\section{Conclusion}
\label{sec:conclusion}
\input{conclusion}

\bibliographystyle{latex8}
\bibliography{./bibliography}

\newpage

\appendix

\end{document}